/*---------------------------------------------------------------------------
 *
 * Ryu floating-point output for double precision.
 *
 * Portions Copyright (c) 2018-2019, PostgreSQL Global Development Group
 *
 * IDENTIFICATION
 *	  src/common/d2s_full_table.h
 *
 * This is a modification of code taken from github.com/ulfjack/ryu under the
 * terms of the Boost license (not the Apache license). The original copyright
 * notice follows:
 *
 * Copyright 2018 Ulf Adams
 *
 * The contents of this file may be used under the terms of the Apache
 * License, Version 2.0.
 *
 *     (See accompanying file LICENSE-Apache or copy at
 *      http://www.apache.org/licenses/LICENSE-2.0)
 *
 * Alternatively, the contents of this file may be used under the terms of the
 * Boost Software License, Version 1.0.
 *
 *     (See accompanying file LICENSE-Boost or copy at
 *      https://www.boost.org/LICENSE_1_0.txt)
 *
 * Unless required by applicable law or agreed to in writing, this software is
 * distributed on an "AS IS" BASIS, WITHOUT WARRANTIES OR CONDITIONS OF ANY
 * KIND, either express or implied.
 *
 *---------------------------------------------------------------------------
 */

#ifndef RYU_D2S_FULL_TABLE_H
#define RYU_D2S_FULL_TABLE_H

/*
 * These tables are generated (by the upstream) using PrintDoubleLookupTable
 * from the upstream sources at github.com/ulfjack/ryu, and then modified (by
 * us) by adding UINT64CONST.
 */
static const uint64 DOUBLE_POW5_INV_SPLIT[292][2] = {
	{UINT64CONST(1ULL), UINT64CONST(288230376151711744ULL)}, {UINT64CONST(3689348814741910324ULL), UINT64CONST(230584300921369395ULL)},
	{UINT64CONST(2951479051793528259ULL), UINT64CONST(184467440737095516ULL)}, {UINT64CONST(17118578500402463900ULL), UINT64CONST(147573952589676412ULL)},
	{UINT64CONST(12632330341676300947ULL), UINT64CONST(236118324143482260ULL)}, {UINT64CONST(10105864273341040758ULL), UINT64CONST(188894659314785808ULL)},
	{UINT64CONST(15463389048156653253ULL), UINT64CONST(151115727451828646ULL)}, {UINT64CONST(17362724847566824558ULL), UINT64CONST(241785163922925834ULL)},
	{UINT64CONST(17579528692795369969ULL), UINT64CONST(193428131138340667ULL)}, {UINT64CONST(6684925324752475329ULL), UINT64CONST(154742504910672534ULL)},
	{UINT64CONST(18074578149087781173ULL), UINT64CONST(247588007857076054ULL)}, {UINT64CONST(18149011334012135262ULL), UINT64CONST(198070406285660843ULL)},
	{UINT64CONST(3451162622983977240ULL), UINT64CONST(158456325028528675ULL)}, {UINT64CONST(5521860196774363583ULL), UINT64CONST(253530120045645880ULL)},
	{UINT64CONST(4417488157419490867ULL), UINT64CONST(202824096036516704ULL)}, {UINT64CONST(7223339340677503017ULL), UINT64CONST(162259276829213363ULL)},
	{UINT64CONST(7867994130342094503ULL), UINT64CONST(259614842926741381ULL)}, {UINT64CONST(2605046489531765280ULL), UINT64CONST(207691874341393105ULL)},
	{UINT64CONST(2084037191625412224ULL), UINT64CONST(166153499473114484ULL)}, {UINT64CONST(10713157136084480204ULL), UINT64CONST(265845599156983174ULL)},
	{UINT64CONST(12259874523609494487ULL), UINT64CONST(212676479325586539ULL)}, {UINT64CONST(13497248433629505913ULL), UINT64CONST(170141183460469231ULL)},
	{UINT64CONST(14216899864323388813ULL), UINT64CONST(272225893536750770ULL)}, {UINT64CONST(11373519891458711051ULL), UINT64CONST(217780714829400616ULL)},
	{UINT64CONST(5409467098425058518ULL), UINT64CONST(174224571863520493ULL)}, {UINT64CONST(4965798542738183305ULL), UINT64CONST(278759314981632789ULL)},
	{UINT64CONST(7661987648932456967ULL), UINT64CONST(223007451985306231ULL)}, {UINT64CONST(2440241304404055250ULL), UINT64CONST(178405961588244985ULL)},
	{UINT64CONST(3904386087046488400ULL), UINT64CONST(285449538541191976ULL)}, {UINT64CONST(17880904128604832013ULL), UINT64CONST(228359630832953580ULL)},
	{UINT64CONST(14304723302883865611ULL), UINT64CONST(182687704666362864ULL)}, {UINT64CONST(15133127457049002812ULL), UINT64CONST(146150163733090291ULL)},
	{UINT64CONST(16834306301794583852ULL), UINT64CONST(233840261972944466ULL)}, {UINT64CONST(9778096226693756759ULL), UINT64CONST(187072209578355573ULL)},
	{UINT64CONST(15201174610838826053ULL), UINT64CONST(149657767662684458ULL)}, {UINT64CONST(2185786488890659746ULL), UINT64CONST(239452428260295134ULL)},
	{UINT64CONST(5437978005854438120ULL), UINT64CONST(191561942608236107ULL)}, {UINT64CONST(15418428848909281466ULL), UINT64CONST(153249554086588885ULL)},
	{UINT64CONST(6222742084545298729ULL), UINT64CONST(245199286538542217ULL)}, {UINT64CONST(16046240111861969953ULL), UINT64CONST(196159429230833773ULL)},
	{UINT64CONST(1768945645263844993ULL), UINT64CONST(156927543384667019ULL)}, {UINT64CONST(10209010661905972635ULL), UINT64CONST(251084069415467230ULL)},
	{UINT64CONST(8167208529524778108ULL), UINT64CONST(200867255532373784ULL)}, {UINT64CONST(10223115638361732810ULL), UINT64CONST(160693804425899027ULL)},
	{UINT64CONST(1599589762411131202ULL), UINT64CONST(257110087081438444ULL)}, {UINT64CONST(4969020624670815285ULL), UINT64CONST(205688069665150755ULL)},
	{UINT64CONST(3975216499736652228ULL), UINT64CONST(164550455732120604ULL)}, {UINT64CONST(13739044029062464211ULL), UINT64CONST(263280729171392966ULL)},
	{UINT64CONST(7301886408508061046ULL), UINT64CONST(210624583337114373ULL)}, {UINT64CONST(13220206756290269483ULL), UINT64CONST(168499666669691498ULL)},
	{UINT64CONST(17462981995322520850ULL), UINT64CONST(269599466671506397ULL)}, {UINT64CONST(6591687966774196033ULL), UINT64CONST(215679573337205118ULL)},
	{UINT64CONST(12652048002903177473ULL), UINT64CONST(172543658669764094ULL)}, {UINT64CONST(9175230360419352987ULL), UINT64CONST(276069853871622551ULL)},
	{UINT64CONST(3650835473593572067ULL), UINT64CONST(220855883097298041ULL)}, {UINT64CONST(17678063637842498946ULL), UINT64CONST(176684706477838432ULL)},
	{UINT64CONST(13527506561580357021ULL), UINT64CONST(282695530364541492ULL)}, {UINT64CONST(3443307619780464970ULL), UINT64CONST(226156424291633194ULL)},
	{UINT64CONST(6443994910566282300ULL), UINT64CONST(180925139433306555ULL)}, {UINT64CONST(5155195928453025840ULL), UINT64CONST(144740111546645244ULL)},
	{UINT64CONST(15627011115008661990ULL), UINT64CONST(231584178474632390ULL)}, {UINT64CONST(12501608892006929592ULL), UINT64CONST(185267342779705912ULL)},
	{UINT64CONST(2622589484121723027ULL), UINT64CONST(148213874223764730ULL)}, {UINT64CONST(4196143174594756843ULL), UINT64CONST(237142198758023568ULL)},
	{UINT64CONST(10735612169159626121ULL), UINT64CONST(189713759006418854ULL)}, {UINT64CONST(12277838550069611220ULL), UINT64CONST(151771007205135083ULL)},
	{UINT64CONST(15955192865369467629ULL), UINT64CONST(242833611528216133ULL)}, {UINT64CONST(1696107848069843133ULL), UINT64CONST(194266889222572907ULL)},
	{UINT64CONST(12424932722681605476ULL), UINT64CONST(155413511378058325ULL)}, {UINT64CONST(1433148282581017146ULL), UINT64CONST(248661618204893321ULL)},
	{UINT64CONST(15903913885032455010ULL), UINT64CONST(198929294563914656ULL)}, {UINT64CONST(9033782293284053685ULL), UINT64CONST(159143435651131725ULL)},
	{UINT64CONST(14454051669254485895ULL), UINT64CONST(254629497041810760ULL)}, {UINT64CONST(11563241335403588716ULL), UINT64CONST(203703597633448608ULL)},
	{UINT64CONST(16629290697806691620ULL), UINT64CONST(162962878106758886ULL)}, {UINT64CONST(781423413297334329ULL), UINT64CONST(260740604970814219ULL)},
	{UINT64CONST(4314487545379777786ULL), UINT64CONST(208592483976651375ULL)}, {UINT64CONST(3451590036303822229ULL), UINT64CONST(166873987181321100ULL)},
	{UINT64CONST(5522544058086115566ULL), UINT64CONST(266998379490113760ULL)}, {UINT64CONST(4418035246468892453ULL), UINT64CONST(213598703592091008ULL)},
	{UINT64CONST(10913125826658934609ULL), UINT64CONST(170878962873672806ULL)}, {UINT64CONST(10082303693170474728ULL), UINT64CONST(273406340597876490ULL)},
	{UINT64CONST(8065842954536379782ULL), UINT64CONST(218725072478301192ULL)}, {UINT64CONST(17520720807854834795ULL), UINT64CONST(174980057982640953ULL)},
	{UINT64CONST(5897060404116273733ULL), UINT64CONST(279968092772225526ULL)}, {UINT64CONST(1028299508551108663ULL), UINT64CONST(223974474217780421ULL)},
	{UINT64CONST(15580034865808528224ULL), UINT64CONST(179179579374224336ULL)}, {UINT64CONST(17549358155809824511ULL), UINT64CONST(286687326998758938ULL)},
	{UINT64CONST(2971440080422128639ULL), UINT64CONST(229349861599007151ULL)}, {UINT64CONST(17134547323305344204ULL), UINT64CONST(183479889279205720ULL)},
	{UINT64CONST(13707637858644275364ULL), UINT64CONST(146783911423364576ULL)}, {UINT64CONST(14553522944347019935ULL), UINT64CONST(234854258277383322ULL)},
	{UINT64CONST(4264120725993795302ULL), UINT64CONST(187883406621906658ULL)}, {UINT64CONST(10789994210278856888ULL), UINT64CONST(150306725297525326ULL)},
	{UINT64CONST(9885293106962350374ULL), UINT64CONST(240490760476040522ULL)}, {UINT64CONST(529536856086059653ULL), UINT64CONST(192392608380832418ULL)},
	{UINT64CONST(7802327114352668369ULL), UINT64CONST(153914086704665934ULL)}, {UINT64CONST(1415676938738538420ULL), UINT64CONST(246262538727465495ULL)},
	{UINT64CONST(1132541550990830736ULL), UINT64CONST(197010030981972396ULL)}, {UINT64CONST(15663428499760305882ULL), UINT64CONST(157608024785577916ULL)},
	{UINT64CONST(17682787970132668764ULL), UINT64CONST(252172839656924666ULL)}, {UINT64CONST(10456881561364224688ULL), UINT64CONST(201738271725539733ULL)},
	{UINT64CONST(15744202878575200397ULL), UINT64CONST(161390617380431786ULL)}, {UINT64CONST(17812026976236499989ULL), UINT64CONST(258224987808690858ULL)},
	{UINT64CONST(3181575136763469022ULL), UINT64CONST(206579990246952687ULL)}, {UINT64CONST(13613306553636506187ULL), UINT64CONST(165263992197562149ULL)},
	{UINT64CONST(10713244041592678929ULL), UINT64CONST(264422387516099439ULL)}, {UINT64CONST(12259944048016053467ULL), UINT64CONST(211537910012879551ULL)},
	{UINT64CONST(6118606423670932450ULL), UINT64CONST(169230328010303641ULL)}, {UINT64CONST(2411072648389671274ULL), UINT64CONST(270768524816485826ULL)},
	{UINT64CONST(16686253377679378312ULL), UINT64CONST(216614819853188660ULL)}, {UINT64CONST(13349002702143502650ULL), UINT64CONST(173291855882550928ULL)},
	{UINT64CONST(17669055508687693916ULL), UINT64CONST(277266969412081485ULL)}, {UINT64CONST(14135244406950155133ULL), UINT64CONST(221813575529665188ULL)},
	{UINT64CONST(240149081334393137ULL), UINT64CONST(177450860423732151ULL)}, {UINT64CONST(11452284974360759988ULL), UINT64CONST(283921376677971441ULL)},
	{UINT64CONST(5472479164746697667ULL), UINT64CONST(227137101342377153ULL)}, {UINT64CONST(11756680961281178780ULL), UINT64CONST(181709681073901722ULL)},
	{UINT64CONST(2026647139541122378ULL), UINT64CONST(145367744859121378ULL)}, {UINT64CONST(18000030682233437097ULL), UINT64CONST(232588391774594204ULL)},
	{UINT64CONST(18089373360528660001ULL), UINT64CONST(186070713419675363ULL)}, {UINT64CONST(3403452244197197031ULL), UINT64CONST(148856570735740291ULL)},
	{UINT64CONST(16513570034941246220ULL), UINT64CONST(238170513177184465ULL)}, {UINT64CONST(13210856027952996976ULL), UINT64CONST(190536410541747572ULL)},
	{UINT64CONST(3189987192878576934ULL), UINT64CONST(152429128433398058ULL)}, {UINT64CONST(1414630693863812771ULL), UINT64CONST(243886605493436893ULL)},
	{UINT64CONST(8510402184574870864ULL), UINT64CONST(195109284394749514ULL)}, {UINT64CONST(10497670562401807014ULL), UINT64CONST(156087427515799611ULL)},
	{UINT64CONST(9417575270359070576ULL), UINT64CONST(249739884025279378ULL)}, {UINT64CONST(14912757845771077107ULL), UINT64CONST(199791907220223502ULL)},
	{UINT64CONST(4551508647133041040ULL), UINT64CONST(159833525776178802ULL)}, {UINT64CONST(10971762650154775986ULL), UINT64CONST(255733641241886083ULL)},
	{UINT64CONST(16156107749607641435ULL), UINT64CONST(204586912993508866ULL)}, {UINT64CONST(9235537384944202825ULL), UINT64CONST(163669530394807093ULL)},
	{UINT64CONST(11087511001168814197ULL), UINT64CONST(261871248631691349ULL)}, {UINT64CONST(12559357615676961681ULL), UINT64CONST(209496998905353079ULL)},
	{UINT64CONST(13736834907283479668ULL), UINT64CONST(167597599124282463ULL)}, {UINT64CONST(18289587036911657145ULL), UINT64CONST(268156158598851941ULL)},
	{UINT64CONST(10942320814787415393ULL), UINT64CONST(214524926879081553ULL)}, {UINT64CONST(16132554281313752961ULL), UINT64CONST(171619941503265242ULL)},
	{UINT64CONST(11054691591134363444ULL), UINT64CONST(274591906405224388ULL)}, {UINT64CONST(16222450902391311402ULL), UINT64CONST(219673525124179510ULL)},
	{UINT64CONST(12977960721913049122ULL), UINT64CONST(175738820099343608ULL)}, {UINT64CONST(17075388340318968271ULL), UINT64CONST(281182112158949773ULL)},
	{UINT64CONST(2592264228029443648ULL), UINT64CONST(224945689727159819ULL)}, {UINT64CONST(5763160197165465241ULL), UINT64CONST(179956551781727855ULL)},
	{UINT64CONST(9221056315464744386ULL), UINT64CONST(287930482850764568ULL)}, {UINT64CONST(14755542681855616155ULL), UINT64CONST(230344386280611654ULL)},
	{UINT64CONST(15493782960226403247ULL), UINT64CONST(184275509024489323ULL)}, {UINT64CONST(1326979923955391628ULL), UINT64CONST(147420407219591459ULL)},
	{UINT64CONST(9501865507812447252ULL), UINT64CONST(235872651551346334ULL)}, {UINT64CONST(11290841220991868125ULL), UINT64CONST(188698121241077067ULL)},
	{UINT64CONST(1653975347309673853ULL), UINT64CONST(150958496992861654ULL)}, {UINT64CONST(10025058185179298811ULL), UINT64CONST(241533595188578646ULL)},
	{UINT64CONST(4330697733401528726ULL), UINT64CONST(193226876150862917ULL)}, {UINT64CONST(14532604630946953951ULL), UINT64CONST(154581500920690333ULL)},
	{UINT64CONST(1116074521063664381ULL), UINT64CONST(247330401473104534ULL)}, {UINT64CONST(4582208431592841828ULL), UINT64CONST(197864321178483627ULL)},
	{UINT64CONST(14733813189500004432ULL), UINT64CONST(158291456942786901ULL)}, {UINT64CONST(16195403473716186445ULL), UINT64CONST(253266331108459042ULL)},
	{UINT64CONST(5577625149489128510ULL), UINT64CONST(202613064886767234ULL)}, {UINT64CONST(8151448934333213131ULL), UINT64CONST(162090451909413787ULL)},
	{UINT64CONST(16731667109675051333ULL), UINT64CONST(259344723055062059ULL)}, {UINT64CONST(17074682502481951390ULL), UINT64CONST(207475778444049647ULL)},
	{UINT64CONST(6281048372501740465ULL), UINT64CONST(165980622755239718ULL)}, {UINT64CONST(6360328581260874421ULL), UINT64CONST(265568996408383549ULL)},
	{UINT64CONST(8777611679750609860ULL), UINT64CONST(212455197126706839ULL)}, {UINT64CONST(10711438158542398211ULL), UINT64CONST(169964157701365471ULL)},
	{UINT64CONST(9759603424184016492ULL), UINT64CONST(271942652322184754ULL)}, {UINT64CONST(11497031554089123517ULL), UINT64CONST(217554121857747803ULL)},
	{UINT64CONST(16576322872755119460ULL), UINT64CONST(174043297486198242ULL)}, {UINT64CONST(11764721337440549842ULL), UINT64CONST(278469275977917188ULL)},
	{UINT64CONST(16790474699436260520ULL), UINT64CONST(222775420782333750ULL)}, {UINT64CONST(13432379759549008416ULL), UINT64CONST(178220336625867000ULL)},
	{UINT64CONST(3045063541568861850ULL), UINT64CONST(285152538601387201ULL)}, {UINT64CONST(17193446092222730773ULL), UINT64CONST(228122030881109760ULL)},
	{UINT64CONST(13754756873778184618ULL), UINT64CONST(182497624704887808ULL)}, {UINT64CONST(18382503128506368341ULL), UINT64CONST(145998099763910246ULL)},
	{UINT64CONST(3586563302416817083ULL), UINT64CONST(233596959622256395ULL)}, {UINT64CONST(2869250641933453667ULL), UINT64CONST(186877567697805116ULL)},
	{UINT64CONST(17052795772514404226ULL), UINT64CONST(149502054158244092ULL)}, {UINT64CONST(12527077977055405469ULL), UINT64CONST(239203286653190548ULL)},
	{UINT64CONST(17400360011128145022ULL), UINT64CONST(191362629322552438ULL)}, {UINT64CONST(2852241564676785048ULL), UINT64CONST(153090103458041951ULL)},
	{UINT64CONST(15631632947708587046ULL), UINT64CONST(244944165532867121ULL)}, {UINT64CONST(8815957543424959314ULL), UINT64CONST(195955332426293697ULL)},
	{UINT64CONST(18120812478965698421ULL), UINT64CONST(156764265941034957ULL)}, {UINT64CONST(14235904707377476180ULL), UINT64CONST(250822825505655932ULL)},
	{UINT64CONST(4010026136418160298ULL), UINT64CONST(200658260404524746ULL)}, {UINT64CONST(17965416168102169531ULL), UINT64CONST(160526608323619796ULL)},
	{UINT64CONST(2919224165770098987ULL), UINT64CONST(256842573317791675ULL)}, {UINT64CONST(2335379332616079190ULL), UINT64CONST(205474058654233340ULL)},
	{UINT64CONST(1868303466092863352ULL), UINT64CONST(164379246923386672ULL)}, {UINT64CONST(6678634360490491686ULL), UINT64CONST(263006795077418675ULL)},
	{UINT64CONST(5342907488392393349ULL), UINT64CONST(210405436061934940ULL)}, {UINT64CONST(4274325990713914679ULL), UINT64CONST(168324348849547952ULL)},
	{UINT64CONST(10528270399884173809ULL), UINT64CONST(269318958159276723ULL)}, {UINT64CONST(15801313949391159694ULL), UINT64CONST(215455166527421378ULL)},
	{UINT64CONST(1573004715287196786ULL), UINT64CONST(172364133221937103ULL)}, {UINT64CONST(17274202803427156150ULL), UINT64CONST(275782613155099364ULL)},
	{UINT64CONST(17508711057483635243ULL), UINT64CONST(220626090524079491ULL)}, {UINT64CONST(10317620031244997871ULL), UINT64CONST(176500872419263593ULL)},
	{UINT64CONST(12818843235250086271ULL), UINT64CONST(282401395870821749ULL)}, {UINT64CONST(13944423402941979340ULL), UINT64CONST(225921116696657399ULL)},
	{UINT64CONST(14844887537095493795ULL), UINT64CONST(180736893357325919ULL)}, {UINT64CONST(15565258844418305359ULL), UINT64CONST(144589514685860735ULL)},
	{UINT64CONST(6457670077359736959ULL), UINT64CONST(231343223497377177ULL)}, {UINT64CONST(16234182506113520537ULL), UINT64CONST(185074578797901741ULL)},
	{UINT64CONST(9297997190148906106ULL), UINT64CONST(148059663038321393ULL)}, {UINT64CONST(11187446689496339446ULL), UINT64CONST(236895460861314229ULL)},
	{UINT64CONST(12639306166338981880ULL), UINT64CONST(189516368689051383ULL)}, {UINT64CONST(17490142562555006151ULL), UINT64CONST(151613094951241106ULL)},
	{UINT64CONST(2158786396894637579ULL), UINT64CONST(242580951921985771ULL)}, {UINT64CONST(16484424376483351356ULL), UINT64CONST(194064761537588616ULL)},
	{UINT64CONST(9498190686444770762ULL), UINT64CONST(155251809230070893ULL)}, {UINT64CONST(11507756283569722895ULL), UINT64CONST(248402894768113429ULL)},
	{UINT64CONST(12895553841597688639ULL), UINT64CONST(198722315814490743ULL)}, {UINT64CONST(17695140702761971558ULL), UINT64CONST(158977852651592594ULL)},
	{UINT64CONST(17244178680193423523ULL), UINT64CONST(254364564242548151ULL)}, {UINT64CONST(10105994129412828495ULL), UINT64CONST(203491651394038521ULL)},
	{UINT64CONST(4395446488788352473ULL), UINT64CONST(162793321115230817ULL)}, {UINT64CONST(10722063196803274280ULL), UINT64CONST(260469313784369307ULL)},
	{UINT64CONST(1198952927958798777ULL), UINT64CONST(208375451027495446ULL)}, {UINT64CONST(15716557601334680315ULL), UINT64CONST(166700360821996356ULL)},
	{UINT64CONST(17767794532651667857ULL), UINT64CONST(266720577315194170ULL)}, {UINT64CONST(14214235626121334286ULL), UINT64CONST(213376461852155336ULL)},
	{UINT64CONST(7682039686155157106ULL), UINT64CONST(170701169481724269ULL)}, {UINT64CONST(1223217053622520399ULL), UINT64CONST(273121871170758831ULL)},
	{UINT64CONST(15735968901865657612ULL), UINT64CONST(218497496936607064ULL)}, {UINT64CONST(16278123936234436413ULL), UINT64CONST(174797997549285651ULL)},
	{UINT64CONST(219556594781725998ULL), UINT64CONST(279676796078857043ULL)}, {UINT64CONST(7554342905309201445ULL), UINT64CONST(223741436863085634ULL)},
	{UINT64CONST(9732823138989271479ULL), UINT64CONST(178993149490468507ULL)}, {UINT64CONST(815121763415193074ULL), UINT64CONST(286389039184749612ULL)},
	{UINT64CONST(11720143854957885429ULL), UINT64CONST(229111231347799689ULL)}, {UINT64CONST(13065463898708218666ULL), UINT64CONST(183288985078239751ULL)},
	{UINT64CONST(6763022304224664610ULL), UINT64CONST(146631188062591801ULL)}, {UINT64CONST(3442138057275642729ULL), UINT64CONST(234609900900146882ULL)},
	{UINT64CONST(13821756890046245153ULL), UINT64CONST(187687920720117505ULL)}, {UINT64CONST(11057405512036996122ULL), UINT64CONST(150150336576094004ULL)},
	{UINT64CONST(6623802375033462826ULL), UINT64CONST(240240538521750407ULL)}, {UINT64CONST(16367088344252501231ULL), UINT64CONST(192192430817400325ULL)},
	{UINT64CONST(13093670675402000985ULL), UINT64CONST(153753944653920260ULL)}, {UINT64CONST(2503129006933649959ULL), UINT64CONST(246006311446272417ULL)},
	{UINT64CONST(13070549649772650937ULL), UINT64CONST(196805049157017933ULL)}, {UINT64CONST(17835137349301941396ULL), UINT64CONST(157444039325614346ULL)},
	{UINT64CONST(2710778055689733971ULL), UINT64CONST(251910462920982955ULL)}, {UINT64CONST(2168622444551787177ULL), UINT64CONST(201528370336786364ULL)},
	{UINT64CONST(5424246770383340065ULL), UINT64CONST(161222696269429091ULL)}, {UINT64CONST(1300097203129523457ULL), UINT64CONST(257956314031086546ULL)},
	{UINT64CONST(15797473021471260058ULL), UINT64CONST(206365051224869236ULL)}, {UINT64CONST(8948629602435097724ULL), UINT64CONST(165092040979895389ULL)},
	{UINT64CONST(3249760919670425388ULL), UINT64CONST(264147265567832623ULL)}, {UINT64CONST(9978506365220160957ULL), UINT64CONST(211317812454266098ULL)},
	{UINT64CONST(15361502721659949412ULL), UINT64CONST(169054249963412878ULL)}, {UINT64CONST(2442311466204457120ULL), UINT64CONST(270486799941460606ULL)},
	{UINT64CONST(16711244431931206989ULL), UINT64CONST(216389439953168484ULL)}, {UINT64CONST(17058344360286875914ULL), UINT64CONST(173111551962534787ULL)},
	{UINT64CONST(12535955717491360170ULL), UINT64CONST(276978483140055660ULL)}, {UINT64CONST(10028764573993088136ULL), UINT64CONST(221582786512044528ULL)},
	{UINT64CONST(15401709288678291155ULL), UINT64CONST(177266229209635622ULL)}, {UINT64CONST(9885339602917624555ULL), UINT64CONST(283625966735416996ULL)},
	{UINT64CONST(4218922867592189321ULL), UINT64CONST(226900773388333597ULL)}, {UINT64CONST(14443184738299482427ULL), UINT64CONST(181520618710666877ULL)},
	{UINT64CONST(4175850161155765295ULL), UINT64CONST(145216494968533502ULL)}, {UINT64CONST(10370709072591134795ULL), UINT64CONST(232346391949653603ULL)},
	{UINT64CONST(15675264887556728482ULL), UINT64CONST(185877113559722882ULL)}, {UINT64CONST(5161514280561562140ULL), UINT64CONST(148701690847778306ULL)},
	{UINT64CONST(879725219414678777ULL), UINT64CONST(237922705356445290ULL)}, {UINT64CONST(703780175531743021ULL), UINT64CONST(190338164285156232ULL)},
	{UINT64CONST(11631070584651125387ULL), UINT64CONST(152270531428124985ULL)}, {UINT64CONST(162968861732249003ULL), UINT64CONST(243632850284999977ULL)},
	{UINT64CONST(11198421533611530172ULL), UINT64CONST(194906280227999981ULL)}, {UINT64CONST(5269388412147313814ULL), UINT64CONST(155925024182399985ULL)},
	{UINT64CONST(8431021459435702103ULL), UINT64CONST(249480038691839976ULL)}, {UINT64CONST(3055468352806651359ULL), UINT64CONST(199584030953471981ULL)},
	{UINT64CONST(17201769941212962380ULL), UINT64CONST(159667224762777584ULL)}, {UINT64CONST(16454785461715008838ULL), UINT64CONST(255467559620444135ULL)},
	{UINT64CONST(13163828369372007071ULL), UINT64CONST(204374047696355308ULL)}, {UINT64CONST(17909760324981426303ULL), UINT64CONST(163499238157084246ULL)},
	{UINT64CONST(2830174816776909822ULL), UINT64CONST(261598781051334795ULL)}, {UINT64CONST(2264139853421527858ULL), UINT64CONST(209279024841067836ULL)},
	{UINT64CONST(16568707141704863579ULL), UINT64CONST(167423219872854268ULL)}, {UINT64CONST(4373838538276319787ULL), UINT64CONST(267877151796566830ULL)},
	{UINT64CONST(3499070830621055830ULL), UINT64CONST(214301721437253464ULL)}, {UINT64CONST(6488605479238754987ULL), UINT64CONST(171441377149802771ULL)},
	{UINT64CONST(3003071137298187333ULL), UINT64CONST(274306203439684434ULL)}, {UINT64CONST(6091805724580460189ULL), UINT64CONST(219444962751747547ULL)},
	{UINT64CONST(15941491023890099121ULL), UINT64CONST(175555970201398037ULL)}, {UINT64CONST(10748990379256517301ULL), UINT64CONST(280889552322236860ULL)},
	{UINT64CONST(8599192303405213841ULL), UINT64CONST(224711641857789488ULL)}, {UINT64CONST(14258051472207991719ULL), UINT64CONST(179769313486231590)}
};

static const uint64 DOUBLE_POW5_SPLIT[326][2] = {
	{UINT64CONST(0ULL), UINT64CONST(72057594037927936ULL)}, {UINT64CONST(0ULL), UINT64CONST(90071992547409920ULL)},
	{UINT64CONST(0ULL), UINT64CONST(112589990684262400ULL)}, {UINT64CONST(0ULL), UINT64CONST(140737488355328000ULL)},
	{UINT64CONST(0ULL), UINT64CONST(87960930222080000ULL)}, {UINT64CONST(0ULL), UINT64CONST(109951162777600000ULL)},
	{UINT64CONST(0ULL), UINT64CONST(137438953472000000ULL)}, {UINT64CONST(0ULL), UINT64CONST(85899345920000000ULL)},
	{UINT64CONST(0ULL), UINT64CONST(107374182400000000ULL)}, {UINT64CONST(0ULL), UINT64CONST(134217728000000000ULL)},
	{UINT64CONST(0ULL), UINT64CONST(83886080000000000ULL)}, {UINT64CONST(0ULL), UINT64CONST(104857600000000000ULL)},
	{UINT64CONST(0ULL), UINT64CONST(131072000000000000ULL)}, {UINT64CONST(0ULL), UINT64CONST(81920000000000000ULL)},
	{UINT64CONST(0ULL), UINT64CONST(102400000000000000ULL)}, {UINT64CONST(0ULL), UINT64CONST(128000000000000000ULL)},
	{UINT64CONST(0ULL), UINT64CONST(80000000000000000ULL)}, {UINT64CONST(0ULL), UINT64CONST(100000000000000000ULL)},
	{UINT64CONST(0ULL), UINT64CONST(125000000000000000ULL)}, {UINT64CONST(0ULL), UINT64CONST(78125000000000000ULL)},
	{UINT64CONST(0ULL), UINT64CONST(97656250000000000ULL)}, {UINT64CONST(0ULL), UINT64CONST(122070312500000000ULL)},
	{UINT64CONST(0ULL), UINT64CONST(76293945312500000ULL)}, {UINT64CONST(0ULL), UINT64CONST(95367431640625000ULL)},
	{UINT64CONST(0ULL), UINT64CONST(119209289550781250ULL)}, {UINT64CONST(4611686018427387904ULL), UINT64CONST(74505805969238281ULL)},
	{UINT64CONST(10376293541461622784ULL), UINT64CONST(93132257461547851ULL)}, {UINT64CONST(8358680908399640576ULL), UINT64CONST(116415321826934814ULL)},
	{UINT64CONST(612489549322387456ULL), UINT64CONST(72759576141834259ULL)}, {UINT64CONST(14600669991935148032ULL), UINT64CONST(90949470177292823ULL)},
	{UINT64CONST(13639151471491547136ULL), UINT64CONST(113686837721616029ULL)}, {UINT64CONST(3213881284082270208ULL), UINT64CONST(142108547152020037ULL)},
	{UINT64CONST(4314518811765112832ULL), UINT64CONST(88817841970012523ULL)}, {UINT64CONST(781462496279003136ULL), UINT64CONST(111022302462515654ULL)},
	{UINT64CONST(10200200157203529728ULL), UINT64CONST(138777878078144567ULL)}, {UINT64CONST(13292654125893287936ULL), UINT64CONST(86736173798840354ULL)},
	{UINT64CONST(7392445620511834112ULL), UINT64CONST(108420217248550443ULL)}, {UINT64CONST(4628871007212404736ULL), UINT64CONST(135525271560688054ULL)},
	{UINT64CONST(16728102434789916672ULL), UINT64CONST(84703294725430033ULL)}, {UINT64CONST(7075069988205232128ULL), UINT64CONST(105879118406787542ULL)},
	{UINT64CONST(18067209522111315968ULL), UINT64CONST(132348898008484427ULL)}, {UINT64CONST(8986162942105878528ULL), UINT64CONST(82718061255302767ULL)},
	{UINT64CONST(6621017659204960256ULL), UINT64CONST(103397576569128459ULL)}, {UINT64CONST(3664586055578812416ULL), UINT64CONST(129246970711410574ULL)},
	{UINT64CONST(16125424340018921472ULL), UINT64CONST(80779356694631608ULL)}, {UINT64CONST(1710036351314100224ULL), UINT64CONST(100974195868289511ULL)},
	{UINT64CONST(15972603494424788992ULL), UINT64CONST(126217744835361888ULL)}, {UINT64CONST(9982877184015493120ULL), UINT64CONST(78886090522101180ULL)},
	{UINT64CONST(12478596480019366400ULL), UINT64CONST(98607613152626475ULL)}, {UINT64CONST(10986559581596820096ULL), UINT64CONST(123259516440783094ULL)},
	{UINT64CONST(2254913720070624656ULL), UINT64CONST(77037197775489434ULL)}, {UINT64CONST(12042014186943056628ULL), UINT64CONST(96296497219361792ULL)},
	{UINT64CONST(15052517733678820785ULL), UINT64CONST(120370621524202240ULL)}, {UINT64CONST(9407823583549262990ULL), UINT64CONST(75231638452626400ULL)},
	{UINT64CONST(11759779479436578738ULL), UINT64CONST(94039548065783000ULL)}, {UINT64CONST(14699724349295723422ULL), UINT64CONST(117549435082228750ULL)},
	{UINT64CONST(4575641699882439235ULL), UINT64CONST(73468396926392969ULL)}, {UINT64CONST(10331238143280436948ULL), UINT64CONST(91835496157991211ULL)},
	{UINT64CONST(8302361660673158281ULL), UINT64CONST(114794370197489014ULL)}, {UINT64CONST(1154580038986672043ULL), UINT64CONST(143492962746861268ULL)},
	{UINT64CONST(9944984561221445835ULL), UINT64CONST(89683101716788292ULL)}, {UINT64CONST(12431230701526807293ULL), UINT64CONST(112103877145985365ULL)},
	{UINT64CONST(1703980321626345405ULL), UINT64CONST(140129846432481707ULL)}, {UINT64CONST(17205888765512323542ULL), UINT64CONST(87581154020301066ULL)},
	{UINT64CONST(12283988920035628619ULL), UINT64CONST(109476442525376333ULL)}, {UINT64CONST(1519928094762372062ULL), UINT64CONST(136845553156720417ULL)},
	{UINT64CONST(12479170105294952299ULL), UINT64CONST(85528470722950260ULL)}, {UINT64CONST(15598962631618690374ULL), UINT64CONST(106910588403687825ULL)},
	{UINT64CONST(5663645234241199255ULL), UINT64CONST(133638235504609782ULL)}, {UINT64CONST(17374836326682913246ULL), UINT64CONST(83523897190381113ULL)},
	{UINT64CONST(7883487353071477846ULL), UINT64CONST(104404871487976392ULL)}, {UINT64CONST(9854359191339347308ULL), UINT64CONST(130506089359970490ULL)},
	{UINT64CONST(10770660513014479971ULL), UINT64CONST(81566305849981556ULL)}, {UINT64CONST(13463325641268099964ULL), UINT64CONST(101957882312476945ULL)},
	{UINT64CONST(2994098996302961243ULL), UINT64CONST(127447352890596182ULL)}, {UINT64CONST(15706369927971514489ULL), UINT64CONST(79654595556622613ULL)},
	{UINT64CONST(5797904354682229399ULL), UINT64CONST(99568244445778267ULL)}, {UINT64CONST(2635694424925398845ULL), UINT64CONST(124460305557222834ULL)},
	{UINT64CONST(6258995034005762182ULL), UINT64CONST(77787690973264271ULL)}, {UINT64CONST(3212057774079814824ULL), UINT64CONST(97234613716580339ULL)},
	{UINT64CONST(17850130272881932242ULL), UINT64CONST(121543267145725423ULL)}, {UINT64CONST(18073860448192289507ULL), UINT64CONST(75964541966078389ULL)},
	{UINT64CONST(8757267504958198172ULL), UINT64CONST(94955677457597987ULL)}, {UINT64CONST(6334898362770359811ULL), UINT64CONST(118694596821997484ULL)},
	{UINT64CONST(13182683513586250689ULL), UINT64CONST(74184123013748427ULL)}, {UINT64CONST(11866668373555425458ULL), UINT64CONST(92730153767185534ULL)},
	{UINT64CONST(5609963430089506015ULL), UINT64CONST(115912692208981918ULL)}, {UINT64CONST(17341285199088104971ULL), UINT64CONST(72445432630613698ULL)},
	{UINT64CONST(12453234462005355406ULL), UINT64CONST(90556790788267123ULL)}, {UINT64CONST(10954857059079306353ULL), UINT64CONST(113195988485333904ULL)},
	{UINT64CONST(13693571323849132942ULL), UINT64CONST(141494985606667380ULL)}, {UINT64CONST(17781854114260483896ULL), UINT64CONST(88434366004167112ULL)},
	{UINT64CONST(3780573569116053255ULL), UINT64CONST(110542957505208891ULL)}, {UINT64CONST(114030942967678664ULL), UINT64CONST(138178696881511114ULL)},
	{UINT64CONST(4682955357782187069ULL), UINT64CONST(86361685550944446ULL)}, {UINT64CONST(15077066234082509644ULL), UINT64CONST(107952106938680557ULL)},
	{UINT64CONST(5011274737320973344ULL), UINT64CONST(134940133673350697ULL)}, {UINT64CONST(14661261756894078100ULL), UINT64CONST(84337583545844185ULL)},
	{UINT64CONST(4491519140835433913ULL), UINT64CONST(105421979432305232ULL)}, {UINT64CONST(5614398926044292391ULL), UINT64CONST(131777474290381540ULL)},
	{UINT64CONST(12732371365632458552ULL), UINT64CONST(82360921431488462ULL)}, {UINT64CONST(6692092170185797382ULL), UINT64CONST(102951151789360578ULL)},
	{UINT64CONST(17588487249587022536ULL), UINT64CONST(128688939736700722ULL)}, {UINT64CONST(15604490549419276989ULL), UINT64CONST(80430587335437951ULL)},
	{UINT64CONST(14893927168346708332ULL), UINT64CONST(100538234169297439ULL)}, {UINT64CONST(14005722942005997511ULL), UINT64CONST(125672792711621799ULL)},
	{UINT64CONST(15671105866394830300ULL), UINT64CONST(78545495444763624ULL)}, {UINT64CONST(1142138259283986260ULL), UINT64CONST(98181869305954531ULL)},
	{UINT64CONST(15262730879387146537ULL), UINT64CONST(122727336632443163ULL)}, {UINT64CONST(7233363790403272633ULL), UINT64CONST(76704585395276977ULL)},
	{UINT64CONST(13653390756431478696ULL), UINT64CONST(95880731744096221ULL)}, {UINT64CONST(3231680390257184658ULL), UINT64CONST(119850914680120277ULL)},
	{UINT64CONST(4325643253124434363ULL), UINT64CONST(74906821675075173ULL)}, {UINT64CONST(10018740084832930858ULL), UINT64CONST(93633527093843966ULL)},
	{UINT64CONST(3300053069186387764ULL), UINT64CONST(117041908867304958ULL)}, {UINT64CONST(15897591223523656064ULL), UINT64CONST(73151193042065598ULL)},
	{UINT64CONST(10648616992549794273ULL), UINT64CONST(91438991302581998ULL)}, {UINT64CONST(4087399203832467033ULL), UINT64CONST(114298739128227498ULL)},
	{UINT64CONST(14332621041645359599ULL), UINT64CONST(142873423910284372ULL)}, {UINT64CONST(18181260187883125557ULL), UINT64CONST(89295889943927732ULL)},
	{UINT64CONST(4279831161144355331ULL), UINT64CONST(111619862429909666ULL)}, {UINT64CONST(14573160988285219972ULL), UINT64CONST(139524828037387082ULL)},
	{UINT64CONST(13719911636105650386ULL), UINT64CONST(87203017523366926ULL)}, {UINT64CONST(7926517508277287175ULL), UINT64CONST(109003771904208658ULL)},
	{UINT64CONST(684774848491833161ULL), UINT64CONST(136254714880260823ULL)}, {UINT64CONST(7345513307948477581ULL), UINT64CONST(85159196800163014ULL)},
	{UINT64CONST(18405263671790372785ULL), UINT64CONST(106448996000203767ULL)}, {UINT64CONST(18394893571310578077ULL), UINT64CONST(133061245000254709ULL)},
	{UINT64CONST(13802651491282805250ULL), UINT64CONST(83163278125159193ULL)}, {UINT64CONST(3418256308821342851ULL), UINT64CONST(103954097656448992ULL)},
	{UINT64CONST(4272820386026678563ULL), UINT64CONST(129942622070561240ULL)}, {UINT64CONST(2670512741266674102ULL), UINT64CONST(81214138794100775ULL)},
	{UINT64CONST(17173198981865506339ULL), UINT64CONST(101517673492625968ULL)}, {UINT64CONST(3019754653622331308ULL), UINT64CONST(126897091865782461ULL)},
	{UINT64CONST(4193189667727651020ULL), UINT64CONST(79310682416114038ULL)}, {UINT64CONST(14464859121514339583ULL), UINT64CONST(99138353020142547ULL)},
	{UINT64CONST(13469387883465536574ULL), UINT64CONST(123922941275178184ULL)}, {UINT64CONST(8418367427165960359ULL), UINT64CONST(77451838296986365ULL)},
	{UINT64CONST(15134645302384838353ULL), UINT64CONST(96814797871232956ULL)}, {UINT64CONST(471562554271496325ULL), UINT64CONST(121018497339041196ULL)},
	{UINT64CONST(9518098633274461011ULL), UINT64CONST(75636560836900747ULL)}, {UINT64CONST(7285937273165688360ULL), UINT64CONST(94545701046125934ULL)},
	{UINT64CONST(18330793628311886258ULL), UINT64CONST(118182126307657417ULL)}, {UINT64CONST(4539216990053847055ULL), UINT64CONST(73863828942285886ULL)},
	{UINT64CONST(14897393274422084627ULL), UINT64CONST(92329786177857357ULL)}, {UINT64CONST(4786683537745442072ULL), UINT64CONST(115412232722321697ULL)},
	{UINT64CONST(14520892257159371055ULL), UINT64CONST(72132645451451060ULL)}, {UINT64CONST(18151115321449213818ULL), UINT64CONST(90165806814313825ULL)},
	{UINT64CONST(8853836096529353561ULL), UINT64CONST(112707258517892282ULL)}, {UINT64CONST(1843923083806916143ULL), UINT64CONST(140884073147365353ULL)},
	{UINT64CONST(12681666973447792349ULL), UINT64CONST(88052545717103345ULL)}, {UINT64CONST(2017025661527576725ULL), UINT64CONST(110065682146379182ULL)},
	{UINT64CONST(11744654113764246714ULL), UINT64CONST(137582102682973977ULL)}, {UINT64CONST(422879793461572340ULL), UINT64CONST(85988814176858736ULL)},
	{UINT64CONST(528599741826965425ULL), UINT64CONST(107486017721073420ULL)}, {UINT64CONST(660749677283706782ULL), UINT64CONST(134357522151341775ULL)},
	{UINT64CONST(7330497575943398595ULL), UINT64CONST(83973451344588609ULL)}, {UINT64CONST(13774807988356636147ULL), UINT64CONST(104966814180735761ULL)},
	{UINT64CONST(3383451930163631472ULL), UINT64CONST(131208517725919702ULL)}, {UINT64CONST(15949715511634433382ULL), UINT64CONST(82005323578699813ULL)},
	{UINT64CONST(6102086334260878016ULL), UINT64CONST(102506654473374767ULL)}, {UINT64CONST(3015921899398709616ULL), UINT64CONST(128133318091718459ULL)},
	{UINT64CONST(18025852251620051174ULL), UINT64CONST(80083323807324036ULL)}, {UINT64CONST(4085571240815512351ULL), UINT64CONST(100104154759155046ULL)},
	{UINT64CONST(14330336087874166247ULL), UINT64CONST(125130193448943807ULL)}, {UINT64CONST(15873989082562435760ULL), UINT64CONST(78206370905589879ULL)},
	{UINT64CONST(15230800334775656796ULL), UINT64CONST(97757963631987349ULL)}, {UINT64CONST(5203442363187407284ULL), UINT64CONST(122197454539984187ULL)},
	{UINT64CONST(946308467778435600ULL), UINT64CONST(76373409087490117ULL)}, {UINT64CONST(5794571603150432404ULL), UINT64CONST(95466761359362646ULL)},
	{UINT64CONST(16466586540792816313ULL), UINT64CONST(119333451699203307ULL)}, {UINT64CONST(7985773578781816244ULL), UINT64CONST(74583407312002067ULL)},
	{UINT64CONST(5370530955049882401ULL), UINT64CONST(93229259140002584ULL)}, {UINT64CONST(6713163693812353001ULL), UINT64CONST(116536573925003230ULL)},
	{UINT64CONST(18030785363914884337ULL), UINT64CONST(72835358703127018ULL)}, {UINT64CONST(13315109668038829614ULL), UINT64CONST(91044198378908773ULL)},
	{UINT64CONST(2808829029766373305ULL), UINT64CONST(113805247973635967ULL)}, {UINT64CONST(17346094342490130344ULL), UINT64CONST(142256559967044958ULL)},
	{UINT64CONST(6229622945628943561ULL), UINT64CONST(88910349979403099ULL)}, {UINT64CONST(3175342663608791547ULL), UINT64CONST(111137937474253874ULL)},
	{UINT64CONST(13192550366365765242ULL), UINT64CONST(138922421842817342ULL)}, {UINT64CONST(3633657960551215372ULL), UINT64CONST(86826513651760839ULL)},
	{UINT64CONST(18377130505971182927ULL), UINT64CONST(108533142064701048ULL)}, {UINT64CONST(4524669058754427043ULL), UINT64CONST(135666427580876311ULL)},
	{UINT64CONST(9745447189362598758ULL), UINT64CONST(84791517238047694ULL)}, {UINT64CONST(2958436949848472639ULL), UINT64CONST(105989396547559618ULL)},
	{UINT64CONST(12921418224165366607ULL), UINT64CONST(132486745684449522ULL)}, {UINT64CONST(12687572408530742033ULL), UINT64CONST(82804216052780951ULL)},
	{UINT64CONST(11247779492236039638ULL), UINT64CONST(103505270065976189ULL)}, {UINT64CONST(224666310012885835ULL), UINT64CONST(129381587582470237ULL)},
	{UINT64CONST(2446259452971747599ULL), UINT64CONST(80863492239043898ULL)}, {UINT64CONST(12281196353069460307ULL), UINT64CONST(101079365298804872ULL)},
	{UINT64CONST(15351495441336825384ULL), UINT64CONST(126349206623506090ULL)}, {UINT64CONST(14206370669262903769ULL), UINT64CONST(78968254139691306ULL)},
	{UINT64CONST(8534591299723853903ULL), UINT64CONST(98710317674614133ULL)}, {UINT64CONST(15279925143082205283ULL), UINT64CONST(123387897093267666ULL)},
	{UINT64CONST(14161639232853766206ULL), UINT64CONST(77117435683292291ULL)}, {UINT64CONST(13090363022639819853ULL), UINT64CONST(96396794604115364ULL)},
	{UINT64CONST(16362953778299774816ULL), UINT64CONST(120495993255144205ULL)}, {UINT64CONST(12532689120651053212ULL), UINT64CONST(75309995784465128ULL)},
	{UINT64CONST(15665861400813816515ULL), UINT64CONST(94137494730581410ULL)}, {UINT64CONST(10358954714162494836ULL), UINT64CONST(117671868413226763ULL)},
	{UINT64CONST(4168503687137865320ULL), UINT64CONST(73544917758266727ULL)}, {UINT64CONST(598943590494943747ULL), UINT64CONST(91931147197833409ULL)},
	{UINT64CONST(5360365506546067587ULL), UINT64CONST(114913933997291761ULL)}, {UINT64CONST(11312142901609972388ULL), UINT64CONST(143642417496614701ULL)},
	{UINT64CONST(9375932322719926695ULL), UINT64CONST(89776510935384188ULL)}, {UINT64CONST(11719915403399908368ULL), UINT64CONST(112220638669230235ULL)},
	{UINT64CONST(10038208235822497557ULL), UINT64CONST(140275798336537794ULL)}, {UINT64CONST(10885566165816448877ULL), UINT64CONST(87672373960336121ULL)},
	{UINT64CONST(18218643725697949000ULL), UINT64CONST(109590467450420151ULL)}, {UINT64CONST(18161618638695048346ULL), UINT64CONST(136988084313025189ULL)},
	{UINT64CONST(13656854658398099168ULL), UINT64CONST(85617552695640743ULL)}, {UINT64CONST(12459382304570236056ULL), UINT64CONST(107021940869550929ULL)},
	{UINT64CONST(1739169825430631358ULL), UINT64CONST(133777426086938662ULL)}, {UINT64CONST(14922039196176308311ULL), UINT64CONST(83610891304336663ULL)},
	{UINT64CONST(14040862976792997485ULL), UINT64CONST(104513614130420829ULL)}, {UINT64CONST(3716020665709083144ULL), UINT64CONST(130642017663026037ULL)},
	{UINT64CONST(4628355925281870917ULL), UINT64CONST(81651261039391273ULL)}, {UINT64CONST(10397130925029726550ULL), UINT64CONST(102064076299239091ULL)},
	{UINT64CONST(8384727637859770284ULL), UINT64CONST(127580095374048864ULL)}, {UINT64CONST(5240454773662356427ULL), UINT64CONST(79737559608780540ULL)},
	{UINT64CONST(6550568467077945534ULL), UINT64CONST(99671949510975675ULL)}, {UINT64CONST(3576524565420044014ULL), UINT64CONST(124589936888719594ULL)},
	{UINT64CONST(6847013871814915412ULL), UINT64CONST(77868710555449746ULL)}, {UINT64CONST(17782139376623420074ULL), UINT64CONST(97335888194312182ULL)},
	{UINT64CONST(13004302183924499284ULL), UINT64CONST(121669860242890228ULL)}, {UINT64CONST(17351060901807587860ULL), UINT64CONST(76043662651806392ULL)},
	{UINT64CONST(3242082053549933210ULL), UINT64CONST(95054578314757991ULL)}, {UINT64CONST(17887660622219580224ULL), UINT64CONST(118818222893447488ULL)},
	{UINT64CONST(11179787888887237640ULL), UINT64CONST(74261389308404680ULL)}, {UINT64CONST(13974734861109047050ULL), UINT64CONST(92826736635505850ULL)},
	{UINT64CONST(8245046539531533005ULL), UINT64CONST(116033420794382313ULL)}, {UINT64CONST(16682369133275677888ULL), UINT64CONST(72520887996488945ULL)},
	{UINT64CONST(7017903361312433648ULL), UINT64CONST(90651109995611182ULL)}, {UINT64CONST(17995751238495317868ULL), UINT64CONST(113313887494513977ULL)},
	{UINT64CONST(8659630992836983623ULL), UINT64CONST(141642359368142472ULL)}, {UINT64CONST(5412269370523114764ULL), UINT64CONST(88526474605089045ULL)},
	{UINT64CONST(11377022731581281359ULL), UINT64CONST(110658093256361306ULL)}, {UINT64CONST(4997906377621825891ULL), UINT64CONST(138322616570451633ULL)},
	{UINT64CONST(14652906532082110942ULL), UINT64CONST(86451635356532270ULL)}, {UINT64CONST(9092761128247862869ULL), UINT64CONST(108064544195665338ULL)},
	{UINT64CONST(2142579373455052779ULL), UINT64CONST(135080680244581673ULL)}, {UINT64CONST(12868327154477877747ULL), UINT64CONST(84425425152863545ULL)},
	{UINT64CONST(2250350887815183471ULL), UINT64CONST(105531781441079432ULL)}, {UINT64CONST(2812938609768979339ULL), UINT64CONST(131914726801349290ULL)},
	{UINT64CONST(6369772649532999991ULL), UINT64CONST(82446704250843306ULL)}, {UINT64CONST(17185587848771025797ULL), UINT64CONST(103058380313554132ULL)},
	{UINT64CONST(3035240737254230630ULL), UINT64CONST(128822975391942666ULL)}, {UINT64CONST(6508711479211282048ULL), UINT64CONST(80514359619964166ULL)},
	{UINT64CONST(17359261385868878368ULL), UINT64CONST(100642949524955207ULL)}, {UINT64CONST(17087390713908710056ULL), UINT64CONST(125803686906194009ULL)},
	{UINT64CONST(3762090168551861929ULL), UINT64CONST(78627304316371256ULL)}, {UINT64CONST(4702612710689827411ULL), UINT64CONST(98284130395464070ULL)},
	{UINT64CONST(15101637925217060072ULL), UINT64CONST(122855162994330087ULL)}, {UINT64CONST(16356052730901744401ULL), UINT64CONST(76784476871456304ULL)},
	{UINT64CONST(1998321839917628885ULL), UINT64CONST(95980596089320381ULL)}, {UINT64CONST(7109588318324424010ULL), UINT64CONST(119975745111650476ULL)},
	{UINT64CONST(13666864735807540814ULL), UINT64CONST(74984840694781547ULL)}, {UINT64CONST(12471894901332038114ULL), UINT64CONST(93731050868476934ULL)},
	{UINT64CONST(6366496589810271835ULL), UINT64CONST(117163813585596168ULL)}, {UINT64CONST(3979060368631419896ULL), UINT64CONST(73227383490997605ULL)},
	{UINT64CONST(9585511479216662775ULL), UINT64CONST(91534229363747006ULL)}, {UINT64CONST(2758517312166052660ULL), UINT64CONST(114417786704683758ULL)},
	{UINT64CONST(12671518677062341634ULL), UINT64CONST(143022233380854697ULL)}, {UINT64CONST(1002170145522881665ULL), UINT64CONST(89388895863034186ULL)},
	{UINT64CONST(10476084718758377889ULL), UINT64CONST(111736119828792732ULL)}, {UINT64CONST(13095105898447972362ULL), UINT64CONST(139670149785990915ULL)},
	{UINT64CONST(5878598177316288774ULL), UINT64CONST(87293843616244322ULL)}, {UINT64CONST(16571619758500136775ULL), UINT64CONST(109117304520305402ULL)},
	{UINT64CONST(11491152661270395161ULL), UINT64CONST(136396630650381753ULL)}, {UINT64CONST(264441385652915120ULL), UINT64CONST(85247894156488596ULL)},
	{UINT64CONST(330551732066143900ULL), UINT64CONST(106559867695610745ULL)}, {UINT64CONST(5024875683510067779ULL), UINT64CONST(133199834619513431ULL)},
	{UINT64CONST(10058076329834874218ULL), UINT64CONST(83249896637195894ULL)}, {UINT64CONST(3349223375438816964ULL), UINT64CONST(104062370796494868ULL)},
	{UINT64CONST(4186529219298521205ULL), UINT64CONST(130077963495618585ULL)}, {UINT64CONST(14145795808130045513ULL), UINT64CONST(81298727184761615ULL)},
	{UINT64CONST(13070558741735168987ULL), UINT64CONST(101623408980952019ULL)}, {UINT64CONST(11726512408741573330ULL), UINT64CONST(127029261226190024ULL)},
	{UINT64CONST(7329070255463483331ULL), UINT64CONST(79393288266368765ULL)}, {UINT64CONST(13773023837756742068ULL), UINT64CONST(99241610332960956ULL)},
	{UINT64CONST(17216279797195927585ULL), UINT64CONST(124052012916201195ULL)}, {UINT64CONST(8454331864033760789ULL), UINT64CONST(77532508072625747ULL)},
	{UINT64CONST(5956228811614813082ULL), UINT64CONST(96915635090782184ULL)}, {UINT64CONST(7445286014518516353ULL), UINT64CONST(121144543863477730ULL)},
	{UINT64CONST(9264989777501460624ULL), UINT64CONST(75715339914673581ULL)}, {UINT64CONST(16192923240304213684ULL), UINT64CONST(94644174893341976ULL)},
	{UINT64CONST(1794409976670715490ULL), UINT64CONST(118305218616677471ULL)}, {UINT64CONST(8039035263060279037ULL), UINT64CONST(73940761635423419ULL)},
	{UINT64CONST(5437108060397960892ULL), UINT64CONST(92425952044279274ULL)}, {UINT64CONST(16019757112352226923ULL), UINT64CONST(115532440055349092ULL)},
	{UINT64CONST(788976158365366019ULL), UINT64CONST(72207775034593183ULL)}, {UINT64CONST(14821278253238871236ULL), UINT64CONST(90259718793241478ULL)},
	{UINT64CONST(9303225779693813237ULL), UINT64CONST(112824648491551848ULL)}, {UINT64CONST(11629032224617266546ULL), UINT64CONST(141030810614439810ULL)},
	{UINT64CONST(11879831158813179495ULL), UINT64CONST(88144256634024881ULL)}, {UINT64CONST(1014730893234310657ULL), UINT64CONST(110180320792531102ULL)},
	{UINT64CONST(10491785653397664129ULL), UINT64CONST(137725400990663877ULL)}, {UINT64CONST(8863209042587234033ULL), UINT64CONST(86078375619164923ULL)},
	{UINT64CONST(6467325284806654637ULL), UINT64CONST(107597969523956154ULL)}, {UINT64CONST(17307528642863094104ULL), UINT64CONST(134497461904945192ULL)},
	{UINT64CONST(10817205401789433815ULL), UINT64CONST(84060913690590745ULL)}, {UINT64CONST(18133192770664180173ULL), UINT64CONST(105076142113238431ULL)},
	{UINT64CONST(18054804944902837312ULL), UINT64CONST(131345177641548039ULL)}, {UINT64CONST(18201782118205355176ULL), UINT64CONST(82090736025967524ULL)},
	{UINT64CONST(4305483574047142354ULL), UINT64CONST(102613420032459406ULL)}, {UINT64CONST(14605226504413703751ULL), UINT64CONST(128266775040574257ULL)},
	{UINT64CONST(2210737537617482988ULL), UINT64CONST(80166734400358911ULL)}, {UINT64CONST(16598479977304017447ULL), UINT64CONST(100208418000448638ULL)},
	{UINT64CONST(11524727934775246001ULL), UINT64CONST(125260522500560798ULL)}, {UINT64CONST(2591268940807140847ULL), UINT64CONST(78287826562850499ULL)},
	{UINT64CONST(17074144231291089770ULL), UINT64CONST(97859783203563123ULL)}, {UINT64CONST(16730994270686474309ULL), UINT64CONST(122324729004453904ULL)},
	{UINT64CONST(10456871419179046443ULL), UINT64CONST(76452955627783690ULL)}, {UINT64CONST(3847717237119032246ULL), UINT64CONST(95566194534729613ULL)},
	{UINT64CONST(9421332564826178211ULL), UINT64CONST(119457743168412016ULL)}, {UINT64CONST(5888332853016361382ULL), UINT64CONST(74661089480257510ULL)},
	{UINT64CONST(16583788103125227536ULL), UINT64CONST(93326361850321887ULL)}, {UINT64CONST(16118049110479146516ULL), UINT64CONST(116657952312902359ULL)},
	{UINT64CONST(16991309721690548428ULL), UINT64CONST(72911220195563974ULL)}, {UINT64CONST(12015765115258409727ULL), UINT64CONST(91139025244454968ULL)},
	{UINT64CONST(15019706394073012159ULL), UINT64CONST(113923781555568710ULL)}, {UINT64CONST(9551260955736489391ULL), UINT64CONST(142404726944460888ULL)},
	{UINT64CONST(5969538097335305869ULL), UINT64CONST(89002954340288055ULL)}, {UINT64CONST(2850236603241744433ULL), UINT64CONST(111253692925360069)}
};

#endif							/* RYU_D2S_FULL_TABLE_H */
